protoknow(pr,srv,cmr(ks8,[cl,srv],[])).
protoknow(pr,srv,pri(enc,[pri(lst,[cm(idc9,[su],[]),cmr(nc_10,dot,dot)]),cmr(ks8,[cl,srv],[])])).
